A declarative approach to visualizing concurrent computations

Pavane: a system for declarative visualization of concurrent computations

This paper describes the conceptual model, specification method, and visualization methodology for PavaneÑa visualization environment concerned with exploring, monitoring, and presenting concurrent computations. The underlying visualization model is declarative in the sense that visualization is treated as a mapping from program states to a three-dimensional world of geometric objects. The latt...

Pavane: A System for Declarative Visualization of Concurrent Computations

This paper describes the conceptual model, specification method, and visualization methodology for Pavane-a visualization environment concerned with exploring, monitoring, and presenting concurrent computations. The underlying visualization model is declarative in the sense that visualization is treated as a mapping from program states to a three-dimensional world of geometric objects. The latt...

A Component-Based Approach to Concurrent Declarative Programming

A Declarative Approach to

Visualizing Sparse Matrix Computations

This paper describes ideas and tools that help with the visualization of sparse matrix computations. The paper uses the Sparse Matrix Manipulation System, an environment for handling sparse matrices of all types in a vy flexible manner via ASCII file interfaces. Two commands in this environment are ShowMalrix and ShowTree. The first illustrates the pattern of nonzeroes of a sparse matrix. The s...